<html>
<head><meta charset="utf-8"><title>available work · t-compiler/const-eval · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/index.html">t-compiler/const-eval</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html">available work</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="209986487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/209986487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#209986487">(Sep 14 2020 at 10:25)</a>:</h4>
<p>The issue tracker always leads me to believe that wg-const-eval has a mountain of work on their plate (assuming that this also includes const generics?) - is there anywhere I can jump in and help?</p>



<a name="209986495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/209986495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#209986495">(Sep 14 2020 at 10:25)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1916">@WG-const-eval</span></p>



<a name="209989559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/209989559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hameer Abbasi <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#209989559">(Sep 14 2020 at 11:01)</a>:</h4>
<p>Depends on your experience level. In GitHub, I'd filter issues by one <code>A-*</code> label, and one <code>E-*</code> label.</p>



<a name="209992760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/209992760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#209992760">(Sep 14 2020 at 11:38)</a>:</h4>
<p>Yes, const-eval includes const generics and also const fn. <a href="https://github.com/rust-lang/rust/labels/A-const-eval">https://github.com/rust-lang/rust/labels/A-const-eval</a><br>
One thing that's usually easy to do regardless of level of experience: Look for tests to add.<br>
There are also const generic diagnostics issues which should be easier to handle.</p>



<a name="209996507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/209996507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#209996507">(Sep 14 2020 at 12:23)</a>:</h4>
<p>I've got a reasonable amount of experience and have contributed before - I wouldn't say I'm new.</p>
<p>I often find that when looking at ICEs that if you have a background in that area of the compiler or the ongoing work that there ends up being a few underlying problems and that those are the things that the working group are focusing on - if there's something like that which a member of the working group could point me towards, that's what I'm looking for.</p>



<a name="209996812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/209996812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#209996812">(Sep 14 2020 at 12:27)</a>:</h4>
<p>aaah~<br>
Well this is what lcnr's working on, ish. <a href="https://github.com/rust-lang/compiler-team/issues/340">https://github.com/rust-lang/compiler-team/issues/340</a><br>
and const wf is part of <a href="https://github.com/rust-lang/rust/labels/F-min_const_generics">https://github.com/rust-lang/rust/labels/F-min_const_generics</a></p>



<a name="209997365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/209997365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#209997365">(Sep 14 2020 at 12:32)</a>:</h4>
<p>which is, well, why I did say</p>
<blockquote>
<p>add tests, a lot of tests</p>
</blockquote>
<p>but I'm sure lcnr will have more guidance eventually.</p>



<a name="210026587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210026587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210026587">(Sep 14 2020 at 16:02)</a>:</h4>
<p>Oh, relevant: <a href="https://github.com/rust-lang/rust/labels/const-generics-blocking">https://github.com/rust-lang/rust/labels/const-generics-blocking</a></p>



<a name="210026615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210026615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210026615">(Sep 14 2020 at 16:03)</a>:</h4>
<p>const wf is not part of <code>min_const_generics</code></p>



<a name="210026658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210026658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210026658">(Sep 14 2020 at 16:03)</a>:</h4>
<p>that's something which is probably still far into the future</p>



<a name="210026691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210026691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210026691">(Sep 14 2020 at 16:03)</a>:</h4>
<p>oh OK, I got confused by the listed items on the post.</p>



<a name="210026852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210026852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210026852">(Sep 14 2020 at 16:04)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/74878">https://github.com/rust-lang/rust/issues/74878</a> </p>
<blockquote>
<p>const wf (generic params in associated consts)</p>
</blockquote>
<p>The person who posted this certainly listed it under... Hey wait... <span aria-label="eyes" class="emoji emoji-1f440" role="img" title="eyes">:eyes:</span> <span aria-label="eyes" class="emoji emoji-1f440" role="img" title="eyes">:eyes:</span> <span aria-label="eyes" class="emoji emoji-1f440" role="img" title="eyes">:eyes:</span></p>



<a name="210026918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210026918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210026918">(Sep 14 2020 at 16:04)</a>:</h4>
<p><span aria-label="eyes" class="emoji emoji-1f440" role="img" title="eyes">:eyes:</span></p>



<a name="210026958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210026958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210026958">(Sep 14 2020 at 16:05)</a>:</h4>
<p>you mean</p>
<blockquote>
<ul>
<li>[ ] const wf (generic params in associated consts)</li>
</ul>
</blockquote>
<p>?</p>



<a name="210026985"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210026985" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210026985">(Sep 14 2020 at 16:05)</a>:</h4>
<p>yes.</p>



<a name="210027276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210027276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210027276">(Sep 14 2020 at 16:07)</a>:</h4>
<p>that's something else, it's about allowing</p>
<div class="codehilite"><pre><span></span><code>impl&lt;const N: usize&gt; Foo&lt;N&gt; {
    const ASSOC: usize = N - 2;
}
</code></pre></div>



<a name="210027328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210027328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210027328">(Sep 14 2020 at 16:07)</a>:</h4>
<p>which mostly requires some lang adjacent discussion</p>



<a name="210027416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210027416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210027416">(Sep 14 2020 at 16:08)</a>:</h4>
<p>I think we already discussed this in <code>const-eval</code> before and decided that we want to allow this</p>



<a name="210027429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210027429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210027429">(Sep 14 2020 at 16:08)</a>:</h4>
<p>but that wasn't really definitive to my knowledge</p>



<a name="210027564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210027564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210027564">(Sep 14 2020 at 16:09)</a>:</h4>
<p>Ahhh.</p>



<a name="210028060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210028060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210028060">(Sep 14 2020 at 16:13)</a>:</h4>
<p>re: ICE and where to find them</p>
<p>I can only speak about const generics here, but const generics (or the lack there of) really likes to cause ICE on missing subst (<a href="https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=c433dd953983388d37a2b8347a0cc233">https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=c433dd953983388d37a2b8347a0cc233</a>)</p>



<a name="210028316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210028316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210028316">(Sep 14 2020 at 16:15)</a>:</h4>
<p>This is because <code>min_const_generics</code> is just one giant bodge which just happens to work fairly well</p>



<a name="210028682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210028682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210028682">(Sep 14 2020 at 16:18)</a>:</h4>
<p>ah yes, The Art of the Bodge.</p>



<a name="210028700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210028700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210028700">(Sep 14 2020 at 16:18)</a>:</h4>
<p>truely</p>



<a name="210030170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210030170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pachi <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210030170">(Sep 14 2020 at 16:30)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span>  There's also the skills-map around const-eval and maybe that let's you find some areas that are better suited for your experience (btw, your work on polymorphization is amazing). I can't find the link to it, but maybe <span class="user-mention" data-user-id="124288">@oli</span> or <span class="user-mention" data-user-id="216206">@lcnr</span> can...</p>



<a name="210030185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210030185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210030185">(Sep 14 2020 at 16:31)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> if you want some somewhat interesting <code>min_const_generics</code> work, we probably have to forbid lifetimes in anonymous constants to fix issues like <a href="https://github.com/rust-lang/rust/issues/75323">https://github.com/rust-lang/rust/issues/75323</a> (which are about half of the remaining <code>const-generics-blocking</code> issues</p>



<a name="210030260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210030260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210030260">(Sep 14 2020 at 16:31)</a>:</h4>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/146212-t-compiler.2Fconst-eval/topic/available.20work/near/210030185">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116107">davidtwco</span> if you want some somewhat interesting <code>min_const_generics</code> work, we probably have to forbid lifetimes in anonymous constants to fix issues like <a href="https://github.com/rust-lang/rust/issues/75323">https://github.com/rust-lang/rust/issues/75323</a> (which are about half of the remaining <code>const-generics-blocking</code> issues</p>
</blockquote>
<p>I'll look into this, thanks!</p>



<a name="210030424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210030424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210030424">(Sep 14 2020 at 16:32)</a>:</h4>
<p>And there is <a href="https://github.com/rust-lang/rust/issues/61486">https://github.com/rust-lang/rust/issues/61486</a> which is something you probably already have some experience by now</p>



<a name="210030481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210030481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210030481">(Sep 14 2020 at 16:33)</a>:</h4>
<p>(deleted)</p>



<a name="210030482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210030482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210030482">(Sep 14 2020 at 16:33)</a>:</h4>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/146212-t-compiler.2Fconst-eval/topic/available.20work/near/210030424">said</a>:</p>
<blockquote>
<p>And there is <a href="https://github.com/rust-lang/rust/issues/61486">https://github.com/rust-lang/rust/issues/61486</a> which is something you probably already have some experience by now</p>
</blockquote>
<p>I saw this, but it looked like it wasn't blocked on implementation, but rather what to do.</p>



<a name="210030647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210030647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210030647">(Sep 14 2020 at 16:34)</a>:</h4>
<p><span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span> that's not something I am too familiar with, so I didn't spend too much time looking at this. I only know that it's blocking</p>



<a name="210033449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210033449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210033449">(Sep 14 2020 at 16:59)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span>  there's also a bunch of stuff <span class="user-mention" data-user-id="124288">@oli</span> and me plan to do around how consts are represented in the rest of the compiler, which we could use help with. see <a href="https://github.com/rust-lang/rust/issues/72396">this issue</a> and <a href="https://hackmd.io/Qvrj_eOFTkCHZrhJ7f1ItA">this hackmd</a> for some of my overall plan there. <span class="user-mention" data-user-id="124288">@oli</span> would know best though about what the next est thing to implement would be.</p>



<a name="210033500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210033500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210033500">(Sep 14 2020 at 16:59)</a>:</h4>
<p>awesome, I'll give that a read</p>



<a name="210033637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210033637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210033637">(Sep 14 2020 at 17:00)</a>:</h4>
<p>oh and there's a recently accepted RFC looking for someone to implement it :)</p>



<a name="210033661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210033661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210033661">(Sep 14 2020 at 17:00)</a>:</h4>
<p>won't valtree really help with fixing <a href="https://github.com/rust-lang/rust/issues/61486">#61486</a></p>



<a name="210033672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210033672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210033672">(Sep 14 2020 at 17:00)</a>:</h4>
<p>that would be my personal favorite thing for someone to pick up actually, let me find the links</p>



<a name="210033706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210033706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210033706">(Sep 14 2020 at 17:01)</a>:</h4>
<p><code>const</code> blocks?</p>



<a name="210033724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210033724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210033724">(Sep 14 2020 at 17:01)</a>:</h4>
<p>yes, here: <a href="https://github.com/rust-lang/rust/issues/76001">https://github.com/rust-lang/rust/issues/76001</a></p>



<a name="210033907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210033907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210033907">(Sep 14 2020 at 17:02)</a>:</h4>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/146212-t-compiler.2Fconst-eval/topic/available.20work/near/210033661">said</a>:</p>
<blockquote>
<p>won't valtree really help with fixing <a href="https://github.com/rust-lang/rust/issues/61486">#61486</a></p>
</blockquote>
<p>yeah looks like it. though "we will allow arbitrary structural_match types" depends on figuring out what exactly that means, I think. that would be <a href="https://github.com/rust-lang/rust/issues/74446">#74446</a>.</p>



<a name="210033957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210033957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210033957">(Sep 14 2020 at 17:02)</a>:</h4>
<p>but I think having valtrees implemented will help a lot with figuring out what "structural match" means. I think the two ought to be closely related.</p>



<a name="210035045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210035045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210035045">(Sep 14 2020 at 17:10)</a>:</h4>
<p>thought spastorino was into that?</p>



<a name="210035053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210035053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210035053">(Sep 14 2020 at 17:10)</a>:</h4>
<p>re val tree</p>
<blockquote>
<p>Honestly at this point I’d really like to settle on “some answer” regarding the semantics of constants in match patterns and not try to maintain the “structural eq limbo” we’ve been living in. It’d be good to collect some notes on the current status and maybe have a lang team design meeting to walk over them?</p>
</blockquote>
<p>^ this</p>



<a name="210035233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210035233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210035233">(Sep 14 2020 at 17:12)</a>:</h4>
<p><span class="user-mention silent" data-user-id="281757">Jubilee</span> <a href="#narrow/stream/146212-t-compiler.2Fconst-eval/topic/available.20work/near/210035045">said</a>:</p>
<blockquote>
<p>thought spastorino was into that?</p>
</blockquote>
<p>they mentioned that they want to work on it on github iirc</p>



<a name="210035380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210035380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210035380">(Sep 14 2020 at 17:13)</a>:</h4>
<p>I would expect this RFC to be somewhat straightforward to implement, so I am not sure if there is something to do in parallel there</p>



<a name="210035542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210035542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210035542">(Sep 14 2020 at 17:14)</a>:</h4>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/146212-t-compiler.2Fconst-eval/topic/available.20work/near/210035380">said</a>:</p>
<blockquote>
<p>I would expect this RFC to be somewhat straightforward to implement, so I am not sure if there is something to do in parallel there</p>
</blockquote>
<p>it certainly would not be straight-forward for me, and anyway I don't have the time, so any help would be appreciated</p>



<a name="210035839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210035839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210035839">(Sep 14 2020 at 17:17)</a>:</h4>
<p><span class="user-mention silent" data-user-id="281757">Jubilee</span> <a href="#narrow/stream/146212-t-compiler.2Fconst-eval/topic/available.20work/near/210035045">said</a>:</p>
<blockquote>
<p>thought spastorino was into that?</p>
</blockquote>
<p>which one, const expressions or valtrees?</p>



<a name="210035877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210035877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210035877">(Sep 14 2020 at 17:17)</a>:</h4>
<p>oh, valtrees, right, they self-assigned</p>



<a name="210035878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210035878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210035878">(Sep 14 2020 at 17:17)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120791">RalfJ</span> <a href="#narrow/stream/146212-t-compiler.2Fconst-eval/topic/available.20work/near/210035839">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="281757">Jubilee</span> <a href="#narrow/stream/146212-t-compiler.2Fconst-eval/topic/available.20work/near/210035045">said</a>:</p>
<blockquote>
<p>thought spastorino was into that?</p>
</blockquote>
<p>which one, const expressions or valtrees?</p>
</blockquote>
<p><a href="https://github.com/rust-lang/rust/issues/76001#issuecomment-685160202">https://github.com/rust-lang/rust/issues/76001#issuecomment-685160202</a></p>



<a name="210035945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210035945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210035945">(Sep 14 2020 at 17:18)</a>:</h4>
<p>Cc <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span></p>



<a name="210035954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210035954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210035954">(Sep 14 2020 at 17:18)</a>:</h4>
<p>maybe they can need help, not sure what the current status is</p>



<a name="210036115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210036115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210036115">(Sep 14 2020 at 17:19)</a>:</h4>
<p>hey, yes I'm starting to go over <a href="https://github.com/rust-lang/rust/issues/76001">#76001</a></p>



<a name="210037894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210037894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210037894">(Sep 14 2020 at 17:34)</a>:</h4>
<blockquote>
<p>it certainly would not be straight-forward for me</p>
</blockquote>
<p>yeah, straightforward might have been the wrong word here. I meant to say that I expect this to have a fairly rigid sequence of steps for which it probably is not easy to work in parallel. I would expect this to go something like that, where each of the steps only really makes sense once the previous step has been implemented:</p>
<p>implement parsing to an AnonConst -&gt; lower AnonConst -&gt; fix ICE by updating the different visitors -&gt; lower further -&gt; update <code>type_of</code> and <code>generics_of</code> -&gt; add <code>ConstEvaluatable</code> predicate for these constants -&gt; <em>mir building</em> (which I don't know too much about, so it might be already necessary at an earlier point) -&gt; <em>hopefully</em> done</p>



<a name="210121821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210121821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210121821">(Sep 15 2020 at 12:29)</a>:</h4>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/146212-t-compiler.2Fconst-eval/topic/available.20work/near/210030185">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116107">davidtwco</span> if you want some somewhat interesting <code>min_const_generics</code> work, we probably have to forbid lifetimes in anonymous constants to fix issues like <a href="https://github.com/rust-lang/rust/issues/75323">https://github.com/rust-lang/rust/issues/75323</a> (which are about half of the remaining <code>const-generics-blocking</code> issues</p>
</blockquote>
<p><a href="https://github.com/rust-lang/rust/issues/76739">#76739</a> - not the most happy with it, but it appears to do the job.</p>



<a name="210906994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210906994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210906994">(Sep 22 2020 at 17:49)</a>:</h4>
<p>I personally would also really like to delegate <a href="https://github.com/rust-lang/rust/issues/70753#issuecomment-691672808">https://github.com/rust-lang/rust/issues/70753#issuecomment-691672808</a> to someone else, so if either <span class="user-mention" data-user-id="116107">@davidtwco</span> or anyone else wants to look into this I would be quite thankful.</p>
<p>While I can somewhat mentor this issue, I do expect that some familiarity with the compiler helps, so I wouldn't recommend this as one of the first issues to work on</p>



<a name="210907187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210907187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210907187">(Sep 22 2020 at 17:50)</a>:</h4>
<p>I can throw looking into this on the to-do list  but I might not get to it that quickly.</p>



<a name="210907410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/210907410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#210907410">(Sep 22 2020 at 17:52)</a>:</h4>
<p>nice <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span>  then I will keep this on my backlog until the other blocking issues are fixed here</p>



<a name="211608936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/211608936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#211608936">(Sep 29 2020 at 11:38)</a>:</h4>
<p><span class="user-mention" data-user-id="216206">@lcnr</span> I've taken a look at that issue and the previous attempts to resolve it. I don't think I'm going to make an attempt at fixing it. I don't have a good intution for what would be considered as increasing technical debt (as much as I'd like to) so it seems likely that whatever work I do here wouldn't land.</p>



<a name="211669564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/211669564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#211669564">(Sep 29 2020 at 19:09)</a>:</h4>
<p>that's unfortunate, but I see where you are coming from. Might be worth for me to really dig into this myself in the next weeks</p>



<a name="212075943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/212075943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#212075943">(Oct 02 2020 at 13:44)</a>:</h4>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/146212-t-compiler.2Fconst-eval/topic/available.20work/near/210030424">said</a>:</p>
<blockquote>
<p>And there is <a href="https://github.com/rust-lang/rust/issues/61486">https://github.com/rust-lang/rust/issues/61486</a> which is something you probably already have some experience by now</p>
</blockquote>
<p>Didn't see this thread before now, but I started one about this topic here: <a href="#narrow/stream/131828-t-compiler/topic/Value.20mangling.20for.20integral.20primitive.20data.20types">https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/Value.20mangling.20for.20integral.20primitive.20data.20types</a></p>



<a name="212075977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/available%20work/near/212075977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/available.20work.html#212075977">(Oct 02 2020 at 13:44)</a>:</h4>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/146212-t-compiler.2Fconst-eval/topic/available.20work/near/210906994">said</a>:</p>
<blockquote>
<p>I personally would also really like to delegate <a href="https://github.com/rust-lang/rust/issues/70753#issuecomment-691672808">https://github.com/rust-lang/rust/issues/70753#issuecomment-691672808</a> to someone else, so if either <span class="user-mention silent" data-user-id="116107">davidtwco</span> or anyone else wants to look into this I would be quite thankful.</p>
<p>While I can somewhat mentor this issue, I do expect that some familiarity with the compiler helps, so I wouldn't recommend this as one of the first issues to work on</p>
</blockquote>
<p>I was hoping to look into this at the weekend if no-one has done so by then.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>